package IC.Semantics.types;

public class ArrayType extends SemanticType
{
	private SemanticType elementType;
	
	public ArrayType(SemanticType elementType) {
		super(elementType.toString());
		this.elementType = elementType;
	}

	@Override
	public boolean subtypeOf(SemanticType t) {
		return (t == this);
	}
	
	public SemanticType getElementType() {
		return elementType;
	}
	
	public String toString()
	{
		return name + "[]";
	}
	
}
